document.getElementById("dv").style.color="red";
document.getElementById("dv").style.fontSize="100px";